منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملFormal Experimentation for Agile Formal Methods
The field of knowledge known as Empirical Software Engineering suggests the application of experimental methods in order to discover and describe characteristics of the process and results derived from new methodologies, such as agile formal methods. In this paper we present the methodology needed for conducting formal experiments and we review related work done in the field of the agile formal...
متن کاملPractically Applicable Formal Methods
Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that formal techniques can be also efficiently used in standard large-scale applications. We focus on the generation of specifications which state the termination condition of for loops in Java code (expressed as so called Java Modelin...
متن کاملFormal Object-Oriented Methods
Basing software construction on formal methods is a key issue when dealing with the production of reliable programs. Formal object-oriented methods combine the advantages of objectorientation—notably its powerful modelling capabilities—and those of formal methods—such as verifiability of program properties. Our tutorial reports on the state of the art in formal objectoriented methods. The issue...
متن کاملFormal Methods Pilot Project
This paper reports on a collaborative project to pilot the use of formal methods in the development of safetyrelated somare. Using the SVRC’s Cogito methodology, stafs from CSC Australia undertook: formal specijication; validation of the specijication by mathematical consistency checks; hazard analysis; and validation of the speciJication against the safety requirements. Part of the design was ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00127-6